Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Tim Willemse

• Subject: visit to explore future collaborations.

• Institution: Eindhoven University of Technology, NL

• Duration: 1 week

• Frank Stappers

• Subject: formal verification for reconfigurable languages

• Institution: Eindhoven University of Technology, NL

• Duration: 6 weeks

Internships

• Bram Gerron

• Subject: formal verification of compilation

• Institution: Eindhoven University of Technology, NL

• Duration: 3 months